Revision: tla-tools--devo--0--patch-69
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Wed Sep 17 11:48:24 EDT 2003
Standard-date: 2003-09-17 15:48:24 GMT
Modified-files: ChangeLog tla-tools-funs.awk
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-69
    miles@gnu.org--gnu-2003/tla-tools--x--0--patch-10
Summary: Don't use non-existant arg in make_cmd

